"Gerard Huet" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Logical Frameworks

Автор: Gerard Huet, Автор: G. Plotkin (editors)

Размер книги: 2.53 Mb

Interactive Theorem Proving and Program Development

Автор: Yves / CastTran, Автор: Pierre / Huet, Автор: Gerard (FRW) / Paulin-Mohring, Автор: Christine (FRW) Bertot

Категория: AI, knowledge

Размер книги: 3.17 Mb